منابع مشابه
Conflation Confers Concurrency
Session types provide a static guarantee that concurrent programs respect communication protocols. Recent work has explored a correspondence between proof rules and cut reduction in linear logic and typing and evaluation of process calculi. This paper considers two approaches to extend logically-founded process calculi. First, we consider extensions of the process calculus to more closely resem...
متن کاملConflation of gingival overgrowth and schwannoma.
The authors describe a seminal case report of a 10-year-old boy with enlarged gingivae in relation to his maxillary anterior teeth. The lesion, provisionally diagnosed as idiopathic gingival enlargement, was completely excised and divided into two sections. The histological and immunohistochemical findings in one of the sections showed it to be characteristic of schwannoma while the other secti...
متن کاملConflation System MBP
MBPConflate is proof-of-concept software developed to aid in conflation research. The program implements a powerful algorithm for automatic multi-source image conflation that utilizes new Algebraic Systems-based similarity metrics during the feature comparison process. One benefit of integrating Algebraic Systems into the feature comparison process is that more global shape properties can be di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journalism
سال: 2008
ISSN: 1464-8849,1741-3001
DOI: 10.1177/1464884908096241